Logic model

Results: 5700



#Item
981Mathematical logic / Formal languages / Knowledge representation / Epistemology / Model theory / Literal / Interpretation / Term algebra / Fluent / Logic / Logic programming / Mathematics

Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor,

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2011-05-19 13:21:42
982Academia / Agriculture in the classroom / Education in the United States / United States Department of Agriculture / Logic model / Norman Borlaug / Agricultural education / Agriculture / Program evaluation / Science / Evaluation methods / Evaluation

Innovative Idea Poster – AAAE, 2014 A Logic Model for Agricultural Literacy Programming Debra M. Spielmaker, Associate Professor School of Applied Sciences, Technology & Education

Add to Reading List

Source URL: www.agclassroom.org

Language: English - Date: 2015-02-05 22:14:49
983Structure / Universal algebra / Interpretation / Symbol / Metaphilosophy / Orbifold / Model theory / Logic / Mathematics

Belief change based on global minimisation James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2006-11-29 16:50:01
984Logical syntax / Model theory / Philosophical logic / Philosophy of language / Modal logic / Interpretation / Epistemic modal logic / First-order logic / Entailment / Logic / Mathematical logic / Propositional calculus

Epistemic Logic and its Applications: Tutorial Notes Ernest Davis∗ New York University New York, New York Leora Morgenstern

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2011-07-16 10:30:47
985Semantics / Mathematics / Predicate logic / Formal languages / Sentence / Model theory / Regular expression / Interpretation / Cross-validation / Logic / Mathematical logic / Quantification

Statistical resolution of scope ambiguity in natural language Galen Andrew and Bill MacCartney 4 March

Add to Reading List

Source URL: nlp.stanford.edu

Language: English - Date: 2004-05-23 15:14:14
986Impact assessment / Science / MEASURE Evaluation / Logic model / Evaluation methods / Evaluation / Sociology

IPDET Module 3: Building a Results-Based Monitoring and Evaluation System

Add to Reading List

Source URL: www.cabinet.gov.mn

Language: English - Date: 2010-07-25 22:18:34
987Knowledge representation / Interpretation / Constructible universe / Science / Artificial intelligence / Linear temporal logic / Logic / Model theory / Belief revision

J. P. Delgrande A. C. Nayak M. Pagnucco Gricean Belief Change

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2004-10-14 12:12:41
988Family / Ageing /  Disability and Home Care NSW / Elderly care / Geriatrics / Case management / Logic model / Caregiver / Home care / Evaluation / Health / Medicine / Nursing

NSW CONTINUOUS CARE PILOT EVALUATION FINAL REPORT 29 NOVEMBER 2010 Report for:

Add to Reading List

Source URL: www.ypinh.org.au

Language: English - Date: 2012-09-02 22:31:27
989Formal languages / Model theory / Propositional calculus / Logic programming / Interpretation / Principia Mathematica / Belief revision / First-order logic / Constructible universe / Logic / Mathematics / Mathematical logic

On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2004-08-04 13:44:38
990Valve amplifiers / SPICE / Transistor / Amplifier / Integrated circuits / Electronic amplifier / Transistor model / Electronic engineering / Software / Electronics

ECE 102: Digital Circuit Logic

Add to Reading List

Source URL: www.engr.colostate.edu

Language: English - Date: 2013-09-24 15:44:37
UPDATE